home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r4rs.lha / r4rs.aux < prev    next >
Encoding:
Latex Auxiliary File  |  1991-11-09  |  20.8 KB  |  500 lines

  1. \relax 
  2. \citation{Scheme75}
  3. \citation{Scheme78}
  4. \citation{Rabbit}
  5. \citation{Rees82,MITScheme,Scheme311}
  6. \citation{SICP}
  7. \citation{RRRS}
  8. \citation{R3RS}
  9. \@writefile{toc}{\string\contentsline\space {chapter}{Introduction}{2}}
  10. \newlabel{historysection}{{}{2}}
  11. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {1}Overview of Scheme}{3}}
  12. \@writefile{lof}{\string\addvspace\space {10pt}}
  13. \@writefile{lot}{\string\addvspace\space {10pt}}
  14. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.1}Semantics}{3}}
  15. \newlabel{semanticsection}{{1.1}{3}}
  16. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.2}Syntax}{3}}
  17. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.3}Notation and terminology}{3}}
  18. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3.1}Essential and non-essential features}{3}}
  19. \newlabel{essentialsection}{{1.3.1}{3}}
  20. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3.2}Error situations and unspecified behavior}{3}}
  21. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3.3}Entry format}{4}}
  22. \newlabel{typeconventions}{{1.3.3}{4}}
  23. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3.4}Evaluation examples}{4}}
  24. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3.5}Naming conventions}{4}}
  25. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}Lexical conventions}{5}}
  26. \@writefile{lof}{\string\addvspace\space {10pt}}
  27. \@writefile{lot}{\string\addvspace\space {10pt}}
  28. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}Identifiers}{5}}
  29. \newlabel{syntaxsection}{{2.1}{5}}
  30. \newlabel{keywordsection}{{2.1}{5}}
  31. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Whitespace and comments}{5}}
  32. \newlabel{;}{{2.2}{5}}
  33. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}Other notations}{5}}
  34. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}Basic concepts}{6}}
  35. \@writefile{lof}{\string\addvspace\space {10pt}}
  36. \@writefile{lot}{\string\addvspace\space {10pt}}
  37. \newlabel{basicchapter}{{3}{6}}
  38. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Variables and regions}{6}}
  39. \newlabel{specialformsection}{{3.1}{6}}
  40. \newlabel{variablesection}{{3.1}{6}}
  41. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}True and false}{6}}
  42. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}External representations}{6}}
  43. \newlabel{externalreps}{{3.3}{6}}
  44. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}Disjointness of types}{7}}
  45. \newlabel{disjointness}{{3.4}{7}}
  46. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Storage model}{7}}
  47. \newlabel{storagemodel}{{3.5}{7}}
  48. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4}Expressions}{7}}
  49. \@writefile{lof}{\string\addvspace\space {10pt}}
  50. \@writefile{lot}{\string\addvspace\space {10pt}}
  51. \newlabel{expressionchapter}{{4}{7}}
  52. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}Primitive expression types}{7}}
  53. \newlabel{primitivexps}{{4.1}{7}}
  54. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.1}Variable references}{7}}
  55. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.2}Literal expressions}{7}}
  56. \newlabel{literalsection}{{4.1.2}{7}}
  57. \newlabel{quote}{{4.1.2}{7}}
  58. \newlabel{'}{{4.1.2}{7}}
  59. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.3}Procedure calls}{8}}
  60. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.4}Lambda expression{}s}{8}}
  61. \newlabel{lamba}{{4.1.4}{8}}
  62. \newlabel{lambda}{{4.1.4}{8}}
  63. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.5}Conditionals}{8}}
  64. \newlabel{if}{{4.1.5}{8}}
  65. \newlabel{if}{{4.1.5}{8}}
  66. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.6}Assignments}{9}}
  67. \newlabel{set!}{{4.1.6}{9}}
  68. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}Derived expression types}{9}}
  69. \newlabel{derivedexps}{{4.2}{9}}
  70. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.1}Conditionals}{9}}
  71. \newlabel{cond}{{4.2.1}{9}}
  72. \newlabel{else}{{4.2.1}{9}}
  73. \newlabel{=>}{{4.2.1}{9}}
  74. \newlabel{case}{{4.2.1}{9}}
  75. \newlabel{and}{{4.2.1}{9}}
  76. \newlabel{or}{{4.2.1}{9}}
  77. \citation{SICP}
  78. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.2}Binding constructs}{10}}
  79. \newlabel{let}{{4.2.2}{10}}
  80. \newlabel{let*}{{4.2.2}{10}}
  81. \newlabel{letrec}{{4.2.2}{10}}
  82. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.3}Sequencing}{10}}
  83. \newlabel{begin}{{4.2.3}{10}}
  84. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.4}Iteration}{11}}
  85. \newlabel{do}{{4.2.4}{11}}
  86. \newlabel{let}{{4.2.4}{11}}
  87. \newlabel{namedlet}{{4.2.4}{11}}
  88. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.5}Delayed evaluation}{11}}
  89. \newlabel{delay}{{4.2.5}{11}}
  90. \newlabel{delay}{{4.2.5}{11}}
  91. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.6}Quasiquotation}{11}}
  92. \newlabel{quasiquotesection}{{4.2.6}{11}}
  93. \newlabel{quasiquote}{{4.2.6}{11}}
  94. \newlabel{,}{{4.2.6}{11}}
  95. \newlabel{`}{{4.2.6}{12}}
  96. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {5}Program structure}{12}}
  97. \@writefile{lof}{\string\addvspace\space {10pt}}
  98. \@writefile{lot}{\string\addvspace\space {10pt}}
  99. \newlabel{programchapter}{{5}{12}}
  100. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.1}Programs}{12}}
  101. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.2}Definitions}{12}}
  102. \newlabel{define}{{5.2}{12}}
  103. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2.1}Top level definitions}{12}}
  104. \citation{IEEEScheme}
  105. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2.2}Internal definitions}{13}}
  106. \newlabel{internaldefines}{{5.2.2}{13}}
  107. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {6}Standard procedures}{13}}
  108. \@writefile{lof}{\string\addvspace\space {10pt}}
  109. \@writefile{lot}{\string\addvspace\space {10pt}}
  110. \newlabel{initialenv}{{6}{13}}
  111. \newlabel{builtinchapter}{{6}{13}}
  112. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.1}Booleans}{13}}
  113. \newlabel{booleansection}{{6.1}{13}}
  114. \newlabel{not}{{6.1}{13}}
  115. \newlabel{boolean?}{{6.1}{13}}
  116. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.2}Equivalence predicates}{13}}
  117. \newlabel{equivalencesection}{{6.2}{13}}
  118. \newlabel{eqv?}{{6.2}{13}}
  119. \newlabel{eq?}{{6.2}{15}}
  120. \newlabel{equal?}{{6.2}{15}}
  121. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.3}Pairs and lists}{15}}
  122. \newlabel{listsection}{{6.3}{15}}
  123. \newlabel{pair?}{{6.3}{16}}
  124. \newlabel{cons}{{6.3}{16}}
  125. \newlabel{car}{{6.3}{16}}
  126. \newlabel{cdr}{{6.3}{16}}
  127. \newlabel{set-car!}{{6.3}{16}}
  128. \newlabel{set-cdr!}{{6.3}{16}}
  129. \newlabel{caar}{{6.3}{16}}
  130. \newlabel{cadr}{{6.3}{16}}
  131. \newlabel{cdddar}{{6.3}{16}}
  132. \newlabel{cddddr}{{6.3}{16}}
  133. \newlabel{null?}{{6.3}{16}}
  134. \newlabel{list?}{{6.3}{16}}
  135. \newlabel{list}{{6.3}{17}}
  136. \newlabel{length}{{6.3}{17}}
  137. \newlabel{append}{{6.3}{17}}
  138. \newlabel{reverse}{{6.3}{17}}
  139. \newlabel{list-tail}{{6.3}{17}}
  140. \newlabel{list-ref}{{6.3}{17}}
  141. \newlabel{memq}{{6.3}{17}}
  142. \newlabel{memv}{{6.3}{17}}
  143. \newlabel{member}{{6.3}{17}}
  144. \newlabel{assq}{{6.3}{17}}
  145. \newlabel{assv}{{6.3}{17}}
  146. \newlabel{assoc}{{6.3}{17}}
  147. \citation{Pitman83}
  148. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.4}Symbols}{18}}
  149. \newlabel{symbolsection}{{6.4}{18}}
  150. \newlabel{symbol?}{{6.4}{18}}
  151. \newlabel{symbol->string}{{6.4}{18}}
  152. \newlabel{string->symbol}{{6.4}{18}}
  153. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.5}Numbers}{18}}
  154. \newlabel{numbersection}{{6.5}{18}}
  155. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.1}Numerical types}{19}}
  156. \newlabel{numericaltypes}{{6.5.1}{19}}
  157. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.2}Exactness}{19}}
  158. \newlabel{exactly}{{6.5.2}{19}}
  159. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.3}Implementation restrictions}{19}}
  160. \newlabel{restrictions}{{6.5.3}{19}}
  161. \citation{IEEE}
  162. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.4}Syntax of numerical constants}{20}}
  163. \newlabel{numbernotations}{{6.5.4}{20}}
  164. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.5}Numerical operations}{20}}
  165. \newlabel{number?}{{6.5.5}{20}}
  166. \newlabel{complex?}{{6.5.5}{20}}
  167. \newlabel{real?}{{6.5.5}{20}}
  168. \newlabel{rational?}{{6.5.5}{20}}
  169. \newlabel{integer?}{{6.5.5}{20}}
  170. \newlabel{exact?}{{6.5.5}{21}}
  171. \newlabel{inexact?}{{6.5.5}{21}}
  172. \newlabel{=}{{6.5.5}{21}}
  173. \newlabel{<}{{6.5.5}{21}}
  174. \newlabel{>}{{6.5.5}{21}}
  175. \newlabel{<=}{{6.5.5}{21}}
  176. \newlabel{>=}{{6.5.5}{21}}
  177. \newlabel{zero?}{{6.5.5}{21}}
  178. \newlabel{positive?}{{6.5.5}{21}}
  179. \newlabel{negative?}{{6.5.5}{21}}
  180. \newlabel{odd?}{{6.5.5}{21}}
  181. \newlabel{even?}{{6.5.5}{21}}
  182. \newlabel{max}{{6.5.5}{21}}
  183. \newlabel{min}{{6.5.5}{21}}
  184. \newlabel{+}{{6.5.5}{21}}
  185. \newlabel{*}{{6.5.5}{21}}
  186. \newlabel{-}{{6.5.5}{21}}
  187. \newlabel{-}{{6.5.5}{21}}
  188. \newlabel{-}{{6.5.5}{21}}
  189. \newlabel{/}{{6.5.5}{21}}
  190. \newlabel{/}{{6.5.5}{21}}
  191. \newlabel{/}{{6.5.5}{21}}
  192. \newlabel{abs}{{6.5.5}{21}}
  193. \newlabel{quotient}{{6.5.5}{22}}
  194. \newlabel{remainder}{{6.5.5}{22}}
  195. \newlabel{modulo}{{6.5.5}{22}}
  196. \newlabel{gcd}{{6.5.5}{22}}
  197. \newlabel{lcm}{{6.5.5}{22}}
  198. \newlabel{numerator}{{6.5.5}{22}}
  199. \newlabel{denominator}{{6.5.5}{22}}
  200. \newlabel{floor}{{6.5.5}{22}}
  201. \newlabel{ceiling}{{6.5.5}{22}}
  202. \newlabel{truncate}{{6.5.5}{22}}
  203. \newlabel{round}{{6.5.5}{22}}
  204. \newlabel{rationalize}{{6.5.5}{22}}
  205. \citation{CLtL}
  206. \citation{Penfield81}
  207. \citation{howtoprint,howtoread}
  208. \newlabel{exp}{{6.5.5}{23}}
  209. \newlabel{log}{{6.5.5}{23}}
  210. \newlabel{sin}{{6.5.5}{23}}
  211. \newlabel{cos}{{6.5.5}{23}}
  212. \newlabel{tan}{{6.5.5}{23}}
  213. \newlabel{asin}{{6.5.5}{23}}
  214. \newlabel{acos}{{6.5.5}{23}}
  215. \newlabel{atan}{{6.5.5}{23}}
  216. \newlabel{atan}{{6.5.5}{23}}
  217. \newlabel{sqrt}{{6.5.5}{23}}
  218. \newlabel{expt}{{6.5.5}{23}}
  219. \newlabel{make-rectangular}{{6.5.5}{23}}
  220. \newlabel{make-polar}{{6.5.5}{23}}
  221. \newlabel{real-part}{{6.5.5}{23}}
  222. \newlabel{imag-part}{{6.5.5}{23}}
  223. \newlabel{magnitude}{{6.5.5}{23}}
  224. \newlabel{angle}{{6.5.5}{23}}
  225. \newlabel{exact->inexact}{{6.5.5}{23}}
  226. \newlabel{inexact->exact}{{6.5.5}{23}}
  227. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.5.6}Numerical input and output}{23}}
  228. \newlabel{number->string}{{6.5.6}{23}}
  229. \newlabel{number->string}{{6.5.6}{23}}
  230. \newlabel{string->number}{{6.5.6}{24}}
  231. \newlabel{string->number}{{6.5.6}{24}}
  232. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.6}Characters}{24}}
  233. \newlabel{charactersection}{{6.6}{24}}
  234. \newlabel{char?}{{6.6}{24}}
  235. \newlabel{char=?}{{6.6}{24}}
  236. \newlabel{char<?}{{6.6}{24}}
  237. \newlabel{char>?}{{6.6}{24}}
  238. \newlabel{char<=?}{{6.6}{24}}
  239. \newlabel{char>=?}{{6.6}{24}}
  240. \newlabel{characterequality}{{6.6}{24}}
  241. \newlabel{char-ci=?}{{6.6}{25}}
  242. \newlabel{char-ci<?}{{6.6}{25}}
  243. \newlabel{char-ci>?}{{6.6}{25}}
  244. \newlabel{char-ci<=?}{{6.6}{25}}
  245. \newlabel{char-ci>=?}{{6.6}{25}}
  246. \newlabel{char-alphabetic?}{{6.6}{25}}
  247. \newlabel{char-numeric?}{{6.6}{25}}
  248. \newlabel{char-whitespace?}{{6.6}{25}}
  249. \newlabel{char-upper-case?}{{6.6}{25}}
  250. \newlabel{char-lower-case?}{{6.6}{25}}
  251. \newlabel{char->integer}{{6.6}{25}}
  252. \newlabel{integer->char}{{6.6}{25}}
  253. \newlabel{char-upcase}{{6.6}{25}}
  254. \newlabel{char-downcase}{{6.6}{25}}
  255. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.7}Strings}{25}}
  256. \newlabel{stringsection}{{6.7}{25}}
  257. \newlabel{string?}{{6.7}{25}}
  258. \newlabel{make-string}{{6.7}{25}}
  259. \newlabel{make-string}{{6.7}{25}}
  260. \newlabel{string}{{6.7}{25}}
  261. \newlabel{string-length}{{6.7}{25}}
  262. \newlabel{string-ref}{{6.7}{25}}
  263. \newlabel{string-set!}{{6.7}{26}}
  264. \newlabel{string=?}{{6.7}{26}}
  265. \newlabel{string-ci=?}{{6.7}{26}}
  266. \newlabel{string<?}{{6.7}{26}}
  267. \newlabel{string>?}{{6.7}{26}}
  268. \newlabel{string<=?}{{6.7}{26}}
  269. \newlabel{string>=?}{{6.7}{26}}
  270. \newlabel{string-ci<?}{{6.7}{26}}
  271. \newlabel{string-ci>?}{{6.7}{26}}
  272. \newlabel{string-ci<=?}{{6.7}{26}}
  273. \newlabel{string-ci>=?}{{6.7}{26}}
  274. \newlabel{substring}{{6.7}{26}}
  275. \newlabel{string-append}{{6.7}{26}}
  276. \newlabel{string->list}{{6.7}{26}}
  277. \newlabel{list->string}{{6.7}{26}}
  278. \newlabel{string-copy}{{6.7}{26}}
  279. \newlabel{string-fill!}{{6.7}{26}}
  280. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.8}Vectors}{26}}
  281. \newlabel{vectorsection}{{6.8}{26}}
  282. \newlabel{vector?}{{6.8}{26}}
  283. \newlabel{make-vector}{{6.8}{26}}
  284. \newlabel{make-vector}{{6.8}{26}}
  285. \newlabel{vector}{{6.8}{27}}
  286. \newlabel{vector-length}{{6.8}{27}}
  287. \newlabel{vector-ref}{{6.8}{27}}
  288. \newlabel{vector-set!}{{6.8}{27}}
  289. \newlabel{vector->list}{{6.8}{27}}
  290. \newlabel{list->vector}{{6.8}{27}}
  291. \newlabel{vector-fill!}{{6.8}{27}}
  292. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.9}Control features}{27}}
  293. \newlabel{proceduresection}{{6.9}{27}}
  294. \newlabel{procedure?}{{6.9}{27}}
  295. \newlabel{apply}{{6.9}{27}}
  296. \newlabel{apply}{{6.9}{27}}
  297. \newlabel{map}{{6.9}{27}}
  298. \newlabel{for-each}{{6.9}{28}}
  299. \newlabel{force}{{6.9}{28}}
  300. \newlabel{call-with-current-continuation}{{6.9}{28}}
  301. \newlabel{continuations}{{6.9}{28}}
  302. \citation{Landin65}
  303. \citation{Reynolds72}
  304. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.10}Input and output}{29}}
  305. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.10.1}Ports}{29}}
  306. \newlabel{portsection}{{6.10.1}{29}}
  307. \newlabel{call-with-input-file}{{6.10.1}{29}}
  308. \newlabel{call-with-output-file}{{6.10.1}{29}}
  309. \newlabel{input-port?}{{6.10.1}{29}}
  310. \newlabel{output-port?}{{6.10.1}{29}}
  311. \newlabel{current-input-port}{{6.10.1}{30}}
  312. \newlabel{current-output-port}{{6.10.1}{30}}
  313. \newlabel{with-input-from-file}{{6.10.1}{30}}
  314. \newlabel{with-output-to-file}{{6.10.1}{30}}
  315. \newlabel{open-input-file}{{6.10.1}{30}}
  316. \newlabel{open-output-file}{{6.10.1}{30}}
  317. \newlabel{close-input-port}{{6.10.1}{30}}
  318. \newlabel{close-output-port}{{6.10.1}{30}}
  319. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.10.2}Input}{30}}
  320. \newlabel{inputsection}{{6.10.2}{30}}
  321. \newlabel{read}{{6.10.2}{30}}
  322. \newlabel{read}{{6.10.2}{30}}
  323. \newlabel{read-char}{{6.10.2}{30}}
  324. \newlabel{read-char}{{6.10.2}{30}}
  325. \newlabel{peek-char}{{6.10.2}{30}}
  326. \newlabel{peek-char}{{6.10.2}{30}}
  327. \newlabel{eof-object?}{{6.10.2}{30}}
  328. \newlabel{char-ready?}{{6.10.2}{30}}
  329. \newlabel{char-ready?}{{6.10.2}{30}}
  330. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.10.3}Output}{31}}
  331. \newlabel{outputsection}{{6.10.3}{31}}
  332. \newlabel{write}{{6.10.3}{31}}
  333. \newlabel{write}{{6.10.3}{31}}
  334. \newlabel{display}{{6.10.3}{31}}
  335. \newlabel{display}{{6.10.3}{31}}
  336. \newlabel{newline}{{6.10.3}{31}}
  337. \newlabel{newline}{{6.10.3}{31}}
  338. \newlabel{write-char}{{6.10.3}{31}}
  339. \newlabel{write-char}{{6.10.3}{31}}
  340. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.10.4}System interface}{31}}
  341. \newlabel{load}{{6.10.4}{31}}
  342. \newlabel{transcript-on}{{6.10.4}{31}}
  343. \newlabel{transcript-off}{{6.10.4}{31}}
  344. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {7}Formal syntax and semantics}{32}}
  345. \@writefile{lof}{\string\addvspace\space {10pt}}
  346. \@writefile{lot}{\string\addvspace\space {10pt}}
  347. \newlabel{formalchapter}{{7}{32}}
  348. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.1}Formal syntax}{32}}
  349. \newlabel{BNF}{{7.1}{32}}
  350. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1.1}Lexical structure}{32}}
  351. \newlabel{extendedalphas}{{7.1.1}{32}}
  352. \newlabel{identifiersyntax}{{7.1.1}{32}}
  353. \newlabel{numbersyntax}{{7.1.1}{32}}
  354. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1.2}External representations}{33}}
  355. \newlabel{datumsyntax}{{7.1.2}{33}}
  356. \newlabel{datum}{{7.1.2}{33}}
  357. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1.3}Expressions}{33}}
  358. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1.4}Quasiquotations}{33}}
  359. \citation{Stoy77}
  360. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1.5}Programs and definitions}{34}}
  361. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.2}Formal semantics}{34}}
  362. \newlabel{formalsemanticssection}{{7.2}{34}}
  363. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.1}Abstract syntax}{34}}
  364. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.2}Domain equations}{34}}
  365. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.3}Semantic functions}{34}}
  366. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.4}Auxiliary functions}{35}}
  367. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.3}Derived expression types}{36}}
  368. \newlabel{derivedsection}{{7.3}{36}}
  369. \citation{R3RS}
  370. \citation{IEEEScheme}
  371. \@writefile{toc}{\string\contentsline\space {chapter}{Notes}{38}}
  372. \newlabel{differences}{{7.3}{38}}
  373. \@writefile{toc}{\string\contentsline\space {chapter}{Example}{39}}
  374. \@writefile{toc}{\string\contentsline\space {chapter}{Appendix: Macros}{40}}
  375. \newlabel{bindsyntax}{{7.3}{40}}
  376. \newlabel{let-syntax}{{7.3}{41}}
  377. \newlabel{letrec-syntax}{{7.3}{41}}
  378. \newlabel{define-syntax}{{7.3}{41}}
  379. \newlabel{patternlanguage}{{7.3}{42}}
  380. \newlabel{syntax-rules}{{7.3}{42}}
  381. \newlabel{lowlevelmacros}{{7.3}{43}}
  382. \newlabel{syntax}{{7.3}{44}}
  383. \newlabel{identifier?}{{7.3}{44}}
  384. \newlabel{unwrap-syntax}{{7.3}{44}}
  385. \newlabel{free-identifier=?}{{7.3}{44}}
  386. \newlabel{bound-identifier=?}{{7.3}{45}}
  387. \newlabel{identifier->symbol}{{7.3}{45}}
  388. \newlabel{generate-identifier}{{7.3}{45}}
  389. \newlabel{generate-identifier}{{7.3}{45}}
  390. \newlabel{construct-identifier}{{7.3}{45}}
  391. \citation{Kohlbecker86}
  392. \citation{hygienic}
  393. \citation{Bawden88}
  394. \citation{Dybvig87}
  395. \citation{macrosthatwork}
  396. \bibcite{Abelson88}{1}
  397. \bibcite{SICP}{2}
  398. \bibcite{Adams88}{3}
  399. \bibcite{Bartley86}{4}
  400. \bibcite{Scheme81}{5}
  401. \bibcite{Bawden88}{6}
  402. \bibcite{Clinger84}{7}
  403. \bibcite{RRRS}{8}
  404. \bibcite{Clinger88}{9}
  405. \bibcite{howtoread}{10}
  406. \bibcite{Clinger85}{11}
  407. \bibcite{Clinger88b}{12}
  408. \bibcite{macrosthatwork}{13}
  409. \bibcite{Curtis90}{14}
  410. \bibcite{Dybvig87}{15}
  411. \bibcite{Dybvig86}{16}
  412. \bibcite{Dybvig88}{17}
  413. \bibcite{Dybvig88}{18}
  414. \bibcite{Dybvig88}{19}
  415. \bibcite{Eisenberg85}{20}
  416. \bibcite{Eisenberg88}{21}
  417. \bibcite{Eisenberg90}{22}
  418. \bibcite{Feeley86}{23}
  419. \bibcite{Feeley87}{24}
  420. \bibcite{Feeley90}{25}
  421. \@writefile{toc}{\string\contentsline\space {chapter}{Bibliography and references}{47}}
  422. \bibcite{Felleisen87b}{26}
  423. \bibcite{Felleisen86b}{27}
  424. \bibcite{Felleisen86c}{28}
  425. \bibcite{Felleisen87}{29}
  426. \bibcite{Felleisen87d}{30}
  427. \bibcite{Felleisen86}{31}
  428. \bibcite{Felleisen87c}{32}
  429. \bibcite{Felleisen88}{33}
  430. \bibcite{Scheme311}{34}
  431. \citation{Scheme84}
  432. \bibcite{Franco90}{35}
  433. \bibcite{Lisper}{36}
  434. \bibcite{littlelisper}{37}
  435. \bibcite{Friedman85}{38}
  436. \bibcite{Friedman84}{39}
  437. \bibcite{Scheme84}{40}
  438. \bibcite{Friedman84b}{41}
  439. \bibcite{Haynes86}{42}
  440. \bibcite{Engines}{43}
  441. \bibcite{Haynes87b}{44}
  442. \bibcite{Haynes87a}{45}
  443. \bibcite{Haynes86}{46}
  444. \bibcite{Henderson82}{47}
  445. \bibcite{Dybvig88}{48}
  446. \bibcite{IEEE}{49}
  447. \bibcite{IEEEScheme}{50}
  448. \bibcite{Kohlbecker86}{51}
  449. \bibcite{hygienic}{52}
  450. \bibcite{Kranz86}{53}
  451. \bibcite{Kranz88}{54}
  452. \bibcite{Landin65}{55}
  453. \bibcite{McDermott80}{56}
  454. \bibcite{MITScheme}{57}
  455. \bibcite{Muchnick80}{58}
  456. \bibcite{Naur63}{59}
  457. \bibcite{Penfield81}{60}
  458. \bibcite{Pitman85}{61}
  459. \bibcite{Pitman83}{62}
  460. \bibcite{Pitman80}{63}
  461. \bibcite{Plebanthesis}{64}
  462. \bibcite{Rees89}{65}
  463. \bibcite{Rees82}{66}
  464. \bibcite{Rees84}{67}
  465. \bibcite{R3RS}{68}
  466. \bibcite{Reynolds72}{69}
  467. \bibcite{Rozas84}{70}
  468. \bibcite{schflow}{71}
  469. \elbcite{Sitaram90}{72}
  470. \bibcite{Smith84}{73}
  471. \bibcite{Springer89}{74}
  472. \bibcite{Srivastava85}{75}
  473. \bibcite{Stallman80}{76}
  474. \bibcite{Declarative}{77}
  475. \bibcite{Debunking}{78}
  476. \bibcite{Macaroni}{79}
  477. \bibcite{Rabbit}{80}
  478. \bibcite{renamegoto}{81}
  479. \bibcite{CLoverview}{82}
  480. \bibcite{CLtL}{83}
  481. \bibcite{Imperative}{84}
  482. \bibcite{Scheme78}{85}
  483. \bibcite{TAOTI}{86}
  484. \bibcite{DOALBP}{87}
  485. \bibcite{Dream}{88}
  486. \bibcite{howtoprint}{89}
  487. \bibcite{Sussman82}{90}
  488. \bibcite{Scheme75}{91}
  489. \bibcite{Scheme79}{92}
  490. \bibcite{Stoy77}{93}
  491. \bibcite{TI85}{94}
  492. \bibcite{Vegdahl89}{95}
  493. \bibcite{Wand78}{96}
  494. \bibcite{Wand80}{97}
  495. \bibcite{Wand86}{98}
  496. \bibcite{tower}{99}
  497. \bibcite{Wand78}{100}
  498. \bibcite{Wand88}{101}
  499. \@writefile{toc}{\string\contentsline\space {chapter}{Alphabetic index of definitions of concepts,\hfil \penalty 0 \hbox {\string\phspace\space *{2em} keywords, and procedures}}{52}}
  500.